Skip to main content

Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz

Item Preview

SIMILAR ITEMS (based on metadata)